g:Mon. (gset)  DSet 

latex

Up	groups 1
Definitions of Statement	Mon, gset
Definitions	gset, t  T, x:A. B(x), DSet, PosetSig, t.2, t.1, =, |p|, , P & Q, Mon
Lemmas	mon wf, set eq wf, set car wf, eqfun p wf, mon properties, bool wf, grp le wf, grp eq wf, grp car wf